home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 1098 < prev    next >
Encoding:
Text File  |  1996-08-05  |  1.7 KB  |  41 lines
  1. Newsgroups: comp.sys.amiga.programmer
  2. Path: techfak.uni-bielefeld.de!isthesin
  3. From: isthesin@techfak.uni-bielefeld.de (Stephan Thesing)
  4. Subject: Re: PPC compilers
  5. Message-ID: <DL7trD.3t9@hermes.hrz.uni-bielefeld.de>
  6. Sender: isthesin@TechFak.Uni-Bielefeld.DE (Stephan Thesing)
  7. Date: Mon, 15 Jan 1996 09:16:25 GMT
  8. References: <john.hendrikx.40ka@grafix.xs4all.nl> <4b77tq$htp@serpens.rhein.de> <5BoUx*MZe@yaps.rhein.de> <4cpi23$ong@sunsystem5.informatik.tu-muenchen.de> <4cq342$j2l@serpens.rhein.de> <4csvb6$oa6@sunsystem5.informatik.tu-muenchen.de> <4cu1pq$1om@serpens.rhein.de> <DKyzGr.1G0@hermes.hrz.uni-bielefeld.de> <4d1f9e$ctb@serpens.rhein.de>
  9. Nntp-Posting-Host: moos.techfak.uni-bielefeld.de
  10. Organization: Universitaet Bielefeld, Technische Fakultaet.
  11. X-Newsreader: xrn 8.01
  12.  
  13. In article <4d1f9e$ctb@serpens.rhein.de>, mlelstv@serpens.rhein.de (Michael van Elst) writes:
  14. |> isthesin@techfak.uni-bielefeld.de (Stephan Thesing) writes:
  15. |> 
  16. |> >|> The precondition is already wrong and so is the claim.
  17. |> 
  18. |> >Not really.
  19. |> >'if p then c' is only false, if p==true and c==false, but
  20. |> >trivially true, if p==false, as anybody see by looking
  21. |> >at the truth table of the implication relation ;-)
  22. |> 
  23. |> I would ask you to improve your logic.
  24.  
  25. No improvement needed. You just argued that since the precondition
  26. is false, the whole claim is false, too. This isn't the case.
  27.  
  28. |> 
  29. |> and so != and therefore.
  30. |> 
  31. |> 
  32. |> -- 
  33. |>                                 Michael van Elst
  34. -- 
  35. ===============================================
  36. =             Stephan Thesing                 =
  37. =        AG Praktische Informatik             =
  38. =          Technische Fakult"at               =
  39. =         Universit"at Bielefeld              =
  40. ===============================================
  41.